Logic Based Methods for Terminological Assessment
نویسنده
چکیده
We present a new version of a Graphical User Interface (GUI) called DiCoInfo Visuel, mainly based on a graph visualization device and used for exploring and assessing lexical data found in DiCoInfo, a specialized e-dictionary of computing and the Internet. This new GUI version takes advantage of the fundamental nature of the lexical network encoded in the dictionary: it uses logic based methods from logic programming to explore relations between entries and find pieces of relevant information that may be not accessible by direct searches. The result is a more realistic and useful data coverage shown to end users.
منابع مشابه
A Knowledge Representation Formalism to Process Vague Medical Queries
Many fields of application deal with vague and fuzzy information. Thus the need of tools that are able to handle this kind of data is obvious. We concentrate on the extension of well-known terminological knowledge representation systems with appropriate methods. Classical terminological knowledge representation systems are based on two-valued logics. To solve problems of uncertainty a more expr...
متن کاملDocument Retrieval by Relevance Terminological Logics
Information Retrieval (IR) is presented as the task of retrieving the documents that are relevant to a given query. In the context of a Terminological Logic (TL) based approach to IR, this amounts to embodying a notion of relevance in the logical implication relation of the chosen TL. Among the many possible readings of the term “relevance”, the one captured by relevance logic, and in particula...
متن کاملA Model for the Collaborative Design of Multi Point- of-View Terminological Knowledge Bases
Designing a terminological knowledge base consists in collecting terms and associating them to their definition. Our objective is to define a process model and a formal concept model that supoorts collaborative work. The proposed concept model, which is based on terminological logic and IBIS. The terminological logic part is intended to formally express definitions, while the IBIS part enable u...
متن کاملA FUZZY MODEL FOR ASSESSMENT PROCESSES
The methods of assessing the individuals’ performance usually applied in practice are based on principles of the bivalent logic (yes-no). However, fuzzy logic, due to its nature of including multiple values, offers a wider and richer field of resources for this purpose. In this paper we use principles of fuzzy logic in developing a new method for assessing the performance of groups of individua...
متن کاملTerminological Logic Involving Time and Evolution: A Preliminary Report
Although terminological logics as well as temporal reasoning has received considerable attention in the knowledge representation community in the last years, few attempts have been made to integrate those fields. We study the combination of the temporal logic LITE and a terminological logic to obtain a temporal terminological logic. We emphasize defining a terminological logic (T-LITE) where th...
متن کامل